Dratz --- another bug in the choreboxization