patchupdate.py: Small code style improvement.