709fd54 Fixed a travis issue