NavList thread: Sextant certificates (Correction)