minor fixes, documentation