fix documentation header.