correct the insert function spec