a bug about options

Ensure it can traverse the extensions list