Tweaked documentation header.