Minor fixes, updating docs