Small check to resolve a php warning