bd5dd0a minor edit to add .is to holonomy