Fix Php warning

Fix for #1539