Fixing stupid bugs in the travis script