Better Python folding.