Fix Trac #3590: a nasty type-checker bug in left/right sections