Removed option in travis test which triggered (irrelevant) warning)