Minor issue in comment corrected