Minor compiler cleanup for messages sent from the `user` pseudo-object