Fixed a small comment