various formatting fixes in documentation