tree 0fc66518936102093980f51b33607ba9688f803f
parent da26e3b6549e5e8a460b62ac02ed854685f6200d
author gdt <gdt> 1073325346 +0000
committer gdt <gdt> 1073325346 +0000

Fix incorrect test in previous commit; thanks to Sowmini Varadhan for
catching this.