fix travis specs