Bug fixes of document section