I guess that's a good lesson for us. i.e. don't assume they'll know about bugs, or that other people will find them and notify them. It would have been great for this to have been fixed in this latest update for you mission masters and no doubt it would have been patched if we informed them about it as soon as it was identified here. Should we have a designated bug reporter?