Misc improvements in documentation