make it look (slightly) better on MacOS X.