Issue #2016959 by Ralf: Fixed php warning.