DOC tiny formatting tweak