Fixes bug 12 described in BUGS file, but eventually Split class should be revised to make the fix implemented here unnecessary