slight tweak to English messages.properties