Fixed some minor issues with the documentation.