Slightly updated the documentation.