Style/doc tweaks.