Trivial change to get travis to build the PR again.
There must be a better way...