Some minor changes, documentation additions, etc.