changes corresponding to delite updates to KeyNav. Thanks @wkeese.