better debugging messages on ProperStopper