Should fix Coverity issue #1500329. Signed-off-by: Andreas Rheinhardt <andreas.rheinhardt@outlook.com>