Documentation and setup.py tweaks