Fix copy/paste bug involving less-than signs.

[1685]