Update specs to take account of normalization