Another attempt at bug fix: On Mac OS X, the bottom of the extension preferences dialog is cut off (issue #9)