Revise definition of execute.pipe