Fix some Glimmr labeling

Weird -- surely this can never have compiled?