Fix typo (trivial).