quick fix to fix a php warning