Yes, you are right...
But the change seems to work for only some fonts. It doesn't work, however,
for "Courier New", which is precisely the one I need because of the
proportionality of the characters.