minor changes; documentation