update code on 201308199

The probabilistic bug is debugged.