Slight improvement to code commenting (using proper <para></para> tags)