specification corrections