Documentation and source tweaks.