Don't override array keys when reconfiguring options_nav

Wiping out these keys can have unexpected results. See #798
Whitespace