Proposed patch, again assuming that the [:cntrl:] behaviour cannot be modified. Is that true? It may have come up before since a comment in a test makes explicit reference to it (see patch), but I cannot find any discussion.