Fixed the printout of the spin.renumber() user function.
Authored by: bugman 2007-11-18
Parent: [r3585]
Child: [r3587]