Re #1393 added to messages.properties