Fixing a tiny typo

As titled...