fix wrong method names in reporting errors (which therefore must never have happened, or they would have been spotted!)