Minor fix to an error message