Fix documentation header and trailer