travis: remove comment obsoleted by #1742

I overlooked this comment before merging #1742. This PR fixes this.