Fix typo reported in the comments