Resolution numbers corrected