minor edit to add .is to holonomy