Small updates to the documentation