I sistnämda fall hade manberäknat