Ugly fix for errors in spiderable output.

This fixes the problem. It needs to be cleaned up, documented, etc.
But I'm pushing this asap in case someone wants to stick in in
production WHICH MAY NOT BE A GOOD IDEA! It probably won't break
anything, but I dunno how urgent it is.