Fix old code which did not follow the times.

Spotted by: Coverity