Revert my puny changes for now.

Will be fixed in travis-web.