Doc: Update doc.txt file for proper formatting