Small formatting and navigation fixes.