minor fixes, improved doc