Some work on the documentation