I think it was a mistake -- may be copied from line 2268.