rename a parameter of Spool.cons().