Travis: minor cleanup.