Documentation update + minor bugfixes