Overhauled the documentation.