Undo accidental change to Tim's recent commit.