typo fix.  The typo was fixed in one place in a previous pull, but it looks like one was missed.