Fixes: #2015 Avoid a PHP error