Fixed a tiny typo in inline comment

This patch fixes a tiny typo in an inline comment