minor bug in value numbering