Fixes warning "Invalid argument passed to foreach" in header.inc.php