* rocket-options.rml modified