Fix a typo, address @marshallshen 's comment.