did some (minor) work on the documentation