slight error in a comment