Repaired compilation error in the UG documentation and made a few minor improvements.