Fix a hidden bug
Merge pull request #926 from VoltDB/quick-fix-xin

Fix a hidden bug