Fix Coverity ID 628, Andrew B., please check!