By rblanker: Some doc header changes.