Minor comment changed.