Ah...OK. I added small comment to explain what's the "workaround".