Minor documentation update.
Bugfix.