Merge pull request #3532 from galdiolo/patch-7

[ci skip] fix typo in comments