Fixed a small bug with Travis integration