Fix for php warning