Quick fixes to Yves' hash randomization documentation