Fix issue# 9609.

std.string.icmp's markup was wrong.
Merge pull request #1180 from jmdavis/docs

Fix issue# 9609.