travis: fixed a mistake