rename doc, fix format problem