Documentation fixes

Additionally, there is an error in the current stable of Sphinx (see https://bitbucket.org/birkenfeld/sphinx/issue/1160/citation-target-missing-assertionerror). So, please use the dev-version of Sphinx from bitbucket, if you want to build the docs.