In reply to Marco.

Whatever the issue was, I couldn't manage to track it down. It works in trunk/11.8.