I'm still not sure this bug is really fixed, just adding this comment so that we can review it later.
I'm still not sure this bug is really fixed, just adding this comment so that we can review it later.