Davide - 2014-12-01

This is already fixed in the master branch of the code repository, and will be out as soon as we release a new version.