(bug 4062) Fixup for splitting