style&doc tweaks