fix curly bracket screw-up if using Dune 2.2

oops. thanks to @bska for finding this.