Fix Travis integration