Travis: fixups