Try to make Travis happy