Final commit, hopefully. Polished documentation