Make CoreLint give a more informative error message