Well, to clarify, it should be fixed. (There’s not really enough information in the issue description to reproduce the exact case.)