More updates to the Travis file