Fix normal form doco (gh-31)