I just wonder if this should really be an XFAIL, though. At least a comment should be added to this effect.