documentation: several style fixes