Fixed a travis issue