Minor additions to the extending documentation