Fixed a bug with Travis CI