minor changes; submission version