Some doc updates and fixes