trivial update on hibernate digest document