minor changes, documentation