Fix mistake in comment
Merge pull request #1061