KCNMA1 and cerebellar ataxia: BKα knockout mice exhibit profound ataxia and changes in gait (Sausbier et al., 2004; Chen X. et al., 2010), a phenotype also produced by cerebellar microinjection of paxilline, a potent BK channel antagonist (Cheron et al., 2009).