a bit cleanup in the documentation