Saturated formations and Sylow normalizers