Fixes in printing of error messages.