minor comment deleted