Various fixes regarding the revision system, searching for a bug in getPatch()