Updated the documentation to be in sync with the fix for #116.