Improved some DEBUGSPEW output