Fix tiny misformatting in patch.