travis: Some polishing.