fixes #18: further formatting of less compilation error messages