tree 1fb92612024ca80abdfb9a99af42866340a4dc05
parent 76398034067abd80e174fea9d0d6c619de7cc679
author hasso <hasso> 1072111755 +0000
committer hasso <hasso> 1072111755 +0000

Revert my "microfix". It was caused by misreading code. Gilad is right as
always.