Revision 893efd26da24d6df827aa36b2432b7522a9561d3

Committed on 27/01/2021 9:54 am by Luca Realdi <lr@opencontent.it> [GitHub Diff]

Minor fixes