Minor high-DPI fixes