some more little changes to the documentation