Another error in the travis script :-)