little bugfix in hibernate module