Documents fixes from dsteinbrunner