Fixes JunctionAt/jbugs#72