fix a bug in consz -- how could it not matter