minor comment change to fix a syntax highlighting bug in the robodoc html output.