Fix for Coverity 1135848