Minor: comment