Fixes JunctionAt/jbugs#71