Simplify at-exp for nav bar
Delete blank line.
Indent