Patch from Jonas Koelker to improve Filling's error highlighting: as