Small bugfix and some tinkering with the docs