Small fix and Travis badge