In progressive multifocal leukoencephalopathy, JC virus–infected oligodendroglia display 2 distinct patterns of intranuclear viral inclusions: full inclusions in which progeny virions are present throughout enlarged nuclei and dot-shaped inclusions in which virions are clustered in subnuclear domains termed "promyelocytic leukemia nuclear bodies" (PML-NBs). Promyelocytic leukemia nuclear bodies may serve a scaffolding role in viral progeny production. We analyzed the formation process of intranuclear viral inclusions by morphometry and assessed PML-NB alterations in the brains of 2 patients with progressive multifocal leukoencephalopathy. By immunohistochemistry, proliferating cell nuclear antigen was most frequently detected in smaller nuclei; cyclin A was detected in larger nuclei. This suggests an S-to-G2 cell cycle transition in infected cells associated with nuclear enlargement. Sizes of PML-NBs were variable, but they were usually either small speckles 200 to 400 nm in diameter or distinct spherical shells with a diameter of 1 μm or more. By confocal microscopy, JC virus capsid proteins were associated with both small and large PML-NBs, but disruption of large PML-NBs was observed by ground-state depletion fluorescence nanoscopy. Clusters of progeny virions were also detected by electron microscopy. Our data suggest that, in progressive multifocal leukoencephalopathy, JC virus produces progeny virions in enlarging oligodendrocyte nuclei in association with growing PML-NBs and with cell cycle transition through an S-to-G2-like state.