Fixes issue #225.

Minor doc update.