re #79 modify mistake in the comments