I think this comment would disappear if it was really fixed.