Two very minor fixes.