Typo fix on #3262

Fixed small typo on #3262