Revision 6a5d39ed53dab05a0f2285dbf0260fd9ba0d9a02

Committed on 07/12/2012 8:59 am by *dleriche* <*[email protected]*> [GitHub Diff]

Fix bug