minor modification in comment