minor changes, documentation added