[BUG #7710] Minor cleanup.
[BUG #7710] added docs