Documentation update

Some details in the documentation have been updated to reflect changes
in the source code.