Ludwik, thanks for pointing out bug #221538, which I've now marked as a duplicate of this one. I can reproduce the bug now (not sure why I couldn't before!), and the referenced Red Hat bug, https://bugzilla.redhat.com/show_bug.cgi?id=439807, appears to include the fix for this problem.
Ludwik, thanks for pointing out bug #221538, which I've now marked as a duplicate of this one. I can reproduce the bug now (not sure why I couldn't before!), and the referenced Red Hat bug, https:/ /bugzilla. redhat. com/show_ bug.cgi? id=439807, appears to include the fix for this problem.