Fix #3446: Fixed usage of Traverseable for $options.