More fixes in documentation formatting