Fix accidental deletion of a line in last change.