Corrected minor typo.

Thanks to @cjerdonek for the report.