Holodeck options fix.

Makes the new holodeck options usable.