fixed some error messages
Merge ssh://git.sv.gnu.org/srv/git/liberty-eiffel