useless change; trying to fix Travis CI broken checkout