minor changes; documentation updated.