Minor fix to patch; addresses the same problem in a few cases apparently not exercised by the automated script.
Minor fix to patch; addresses the same problem in a few cases apparently not exercised by the automated script.