A tiny typo fix.  It all adds up...