Small fixes to documentation formatting