Tidy up that latest checkin. PS_DOTTED is spelled PS_DOT and in any