Improved display of error messages.
Authored by: bruno.herbelin@gmail.com 2013-09-07
Parent: [r696]
Child: [r698]