The fix worked, thanks.
I hope you can help me with my KDE issue too: it's a pity having to use the
Intel HD 4000 which doesn't even support my monitor's resolution (2560x1600).