making travis ci happy