More work on the documentation