Style and doc tweaks.