Do these message ever get to the user? I don't think so, but it would be good to at least comment as to why they aren't wrapped with gettext.