Fixed a typo.

But also a way to ask only @divergentdave: could you email me your
address, so I can contact you about something? It's eric@konklone.com.