Further work on the documentation