Making travis-ci less spammy.