Small cleaning to remove useless lines in Patch.py