Fix for Coverity warning 16208