minor comment fix #873