Fix typo (#1932)