What is the error signalled here? Is there a way to describe it within the comment without spilling over to another line?