This comment is no longer true because I couldn't figure out how to fix the tests.