We just had a discussion with Andrea Boriero, and this might have been fixed as part of some recent work focused on improving performance. We should check that, though: it just looks related.