Revision f8ce6ab51756df3978d2b2c447df8e65463163b2

Committed on 17/01/2016 3:31 am by Luca Realdi <lr@opencontent.it> [GitHub Diff]

small bugfix