Tiny bugfix for Travis: we don't need to test internal classes