More docs cosmetics.