Make Travis happy.

Always make Travis happy.