Fixing a small comment