Fixed problem with Travis