Clean up terminology

Replace brain with cerebellum, since the brain now also contains the
cortex.