Add `additional elaboration` header.