Revision 16f143b62f464221cd77b1f5f7714aa50cdbd8f8

Committed on 19/11/2019 10:38 am by Luca Realdi <lr@opencontent.it> [GitHub Diff]

Fix minor bugs