Two very minor patches