correcting specification according to new facts