chocoteam/choco3 — pull request #179 by fhermeni (2014-02-12 10:02:57+00:00)
Title: a possible workaround for #177

A simple fix for #177 ?