Fixed the name of some protokernels