Fix missing a for nav and have html-proof ignore #