Further updates to the documentation