Fixing a typo that was carried over in a copy/paste.

We all make typos.  It happens.