Fix lint error to make Travis happy.