Fix Travis tests

This fixes a Travis CI failure introduced in #180.