Documentation updates and other tweaks