Another fix on options