Tweaked the documentation.