Fixed a typo in the Travis CI build script.