Fix a bug that caused the width of some dock panes to be incorrect.