Minor change to improve document formatting for my previous change