Small updates to documentation