Minor HighDPI polish...