Fix Travis CI build failure

Fixes #3