Fix doc for the EXECUTE