More adjustements to documentation formatting. This is getting tiresome.