Some doc fixes

Just a feeble attempt at making the site less obviously wrong.