The mouse model used in this study (Smn−/−; SMN2; SMNΔ7) is the most commonly used model of severe SMA and has been described previously [26]. Here, SMN2 is linked to proximal spinal muscular atrophy.