Use travis and a small bug fix