Silly (but harmless) typo.

[originally from svn r5732]