Documentation cleanup. Fixes #12. Fixes #13. Fixes #15.