Minor updates.

This should resolve issue #455. It should also set up the repository for Travis CI.