Fix bug in Python port where the first downward choice wasn't separated enough sometimes.