Fixed bug section 5 in doc file.