Fix typo

this commit is unconcerned from current branch,
but it's too trivial to make a topic branch.