Typo fix (on 4.1 branch)