Actually, this also seems related to the errors reported by Travis in the tests.