[hibernate-commits] [hibernate/hibernate-orm] e6d5c7: very minor doc fix (#7539)