minor update for travis