Ah, neat observation. This seems to be fixed in 13.10.
(Feel free to reopen if this is still an issue for you.)
Ah, neat observation. This seems to be fixed in 13.10.
(Feel free to reopen if this is still an issue for you.)