Documentation: I think this change got missed in git from a hash collision?!?!