Fix compilation error reported on Hudson
Merge pull request #666 from eric-wu/quickfix

Fix compilation error reported on Hudson