minor changes, some documentation