Corrects variable names for settings in navigation

Since 'options' stands for all non-adaptive settings, some variable
names need to be adapted in the navigation plugin.