When a (** comment is not closed, we get a slightly better error message - fixes #157