Typo fix.

This code is doomed to die anyway, but I can't stand typos!