Fixed a bug in the spin.renumber() user function.
Authored by: bugman 2007-11-18
Parent: [r3576]
Child: [r3578]