Text and JSON formatters now handle messages which do not have a line number (because they are file-global)