PECAM1 and stroke disorder: The reduced stroke severity in mutant mice is unlikely a result of major differences in vasculature since immunostaining for CD31, an endothelial marker, showed no detectable differences in the density or distribution of microvasculature (S5D Fig).