documentation and setup fixes