When a (** comment is not closed, we get a slightly better error message