Fixed a typo

(Is this really a typo? But it seems so...)