Follow-up fix for bug#9615 CustomerHTMLFieldHeightDefault has no effect.