minor code and doc tweaks