Small updates of the documentation