slight tweak to messages.properties