issue#253: JLiangWaterloo comments
Merge branch 'pr_iss253' of github.com:chocoteam/choco3 into pr_iss253