Good point, Christopher. I didn’t notice this subtle thing. However, I tested it on some editors and it worked fine. Could you indicate which IDE that fails this case?