Fix 759: Minor change to improve document formatting for my previous change

Fix Issue 759