PBS, were incubated overnight at 4 °C. After washing with PBS for 3 times, the sections were labeled with secondary antibodies, rabbit IgG-Alexa 488 (ThermoFisher Scientific), rabbit IgG-Alexa 594 (ThermoFisher Scientific), mouse IgG-Alexa 488 (ThermoFisher Scientific) and mouse IgG-Alexa 594 (ThermoFisher Scientific) for 50 min at room temperature. After 3 times washing with PBS, the samples were mounted with Vectashield containing DAPI (Vector Laboratories). The fluorescent images were taken and analyzed by the fluorescence microscope BZ-X700 (Keyence) or the confocal microscope LSM 700 ZEN (Zeiss). In all immunohistochemical analyses, triplicate or quadruplicate independent experiments gave similar results. Also, the specificity of anti-CAII and other cell-type marker antibodies was validated (Supplementary Fig. S5). Electron microscopy analysis. The spinal cords of P7 pups were dissected out and fixed with 2% PFA, 2% glutaraldehyde, and 2.5% sucrose in 0.1 M cacodylate buffer, including 2% osmium tetroxide, for 3 h at 4 °C. After fixation, the tissues were washed with 0.1 M cacodylate buffer 3 times. The following procedures of transmission electron microscopy analysis were performed by Tokai Electron Microscopy Analysis Co., Ltd. Statistical analyses. All of the experiments were independently performed at least 3 times. The two-tailed Student's t-test was used for the analyses in the experiments with two groups. One-way ANOVA followed by Tukey's post hoc test was used for the statistical analysis for multiple comparisons. The statistical significance was defined as *p < 0.05, **p < 0.01, and ***p < 0.001.