Documentation updates, and small code tweaks.