Fixup for Travis testing