Dynamic bugfix, spotted by new warning in gcc 4.8.0.