Bug: publish option not kept

When publishing to scorm the option "Generate short ASCII HTML page names" is only handled when you actually opened the second tab. When the options tab was not activated no short pagenames are used.Greetings,MWProjects