Minor: comment added