Add what I think was a missed heading. Fixes #833