Add missing <p> to the manual.