Small updates to documentation section