Forgot to fix navigation highlighting

Here it is.