More verbose symbol name in translated message.