Bug fixes

This release fixes a bug introduced in a recent Nova version that would prevent the Pages and Options indexes from loading correctly.