travis fix and badge