Fix a Javadoc syntax error

Less than signs can be annoying to type in HTML. Trying to keep my
Javadocs standards-compliant so they won't blow up in some random
Internet browser that can't realize that I'm not beginning an HTML tag
inside a <code> snippet.