fixed a php warning