Fixed the printout of the spin.rename() user function.
Authored by: bugman 2007-11-18
Parent: [r3584]
Child: [r3586]