These patches are used internally to fix some mishaps. You
are not expected to use them but they are published just in case
they are useful again (and for historical memory).