Fixing another typo in travis config