some updates on joyal model structure and inner Kan fibrations