Fix documentation header.