Fixed issue: Mango_Collection::hasOption fixes