Update SPECIFICATION