Trivial, but maybe note that this is to work around a Travis issue and not some particular version we support.