chocoteam/choco3 — pull request #140 by JLiangWaterloo (2013-11-18 14:37:39+00:00)
Title: This commit fixes #139

This commit fixes #139