travis: minor cleanup