Bug: traling whitespace produced with `space-around-records=false`

[nojb]

The following term gets formatted with an extra trailing space after the last ; when using space-around-records=false (and no other options):

type default_local_volatility_calibration_fun = {
  chart_chooser :
    < as_unit_control : Generic_gui.TypedControl.c
    ; on_change : unit -> unit
    ; set_maturities : date list -> unit >; 
}