small chnage to make Travis happy