Further changes to the documentation