Slight modifications to docs (which are being replaced soon)