tests that pass on Travis CI