edit SPECIFICATION