The comments at the beginning of the file need updating.

(This comment of mine is in the wrong place because Github allows adding inline comments only near the changed rows.)