Fix a major performance bug
Fix a major performance bug


Former-commit-id: de128e17a62278bda50e2701ba4a4c55a454f332
karel-brinda/prophyle,karel-brinda/prophyle,karel-brinda/prophyle,karel-brinda/prophyle