PianoPedalBracket bug

[John Williams]

I found a bug while trying to make a sustain bracket extend past the last
note.  The default pedal style works, but with mixed style:

\score {
\new PianoStaff <<
\new Staff \notes { \clef treble a'2 a' a'1 }
\new Staff \notes {
        \property Staff.pedalSustainStyle = #'mixed
        \clef bass << { a2 a2 a1 } { s2\sustainDown s2 s2 s2\sustainUp }
>>
}
>>
}


/home/williams/music/susbug.ly:6:43: warning: Programming error: Spanner
`PianoPedalBracket' is not fully contained in parent spanner
`SustainPedalLineSpanner'.:
        \clef bass << { a2 a2 a1 } { s2\sustainDow
                                                  n s2 s2 s2\sustainUp }
>>
programming error: Infinity or NaN encountered while converting Real
number; setting to zero. (Continuing; cross thumbs)


BTW: doc bug? Piano music -> Pedals
  it says "setting pedal-type to mixed" in the text
  but says "Staff.pedalSustainStyle = #'mixed" in the example
  it then mentions "\pedal-type = #'text" again.
Very confusing...

~ John Williams