fixes, documentation tweak