- \revert Voice.TextScript #'(harp-pedal-details box-width)
- \override Voice.TextScript #'(harp-pedal-details circle-thickness) = #3
- \override Voice.TextScript #'(harp-pedal-details circle-x-padding) = #0.6
- \override Voice.TextScript #'(harp-pedal-details circle-y-padding) = #-0.3
+ \revert Voice.TextScript.harp-pedal-details.box-width
+ \override Voice.TextScript.harp-pedal-details.circle-thickness = #3
+ \override Voice.TextScript.harp-pedal-details.circle-x-padding = #0.6
+ \override Voice.TextScript.harp-pedal-details.circle-y-padding = #-0.3