Update for new bindings of `set-left-margin' and `set-right-margin'.