fix php warning