Fix rule IV.12, was accidentally reverted