Fix Travis: testing Kato's theory