Tweak to marking of catalog stars