make Travis happy again