Two very minor changes