small tweaks for Documentation