Revision 306ea1cd2604e8eb263ac871fd39a49f35b8b2c4

Committed on 15/01/2021 1:05 am by Luca Realdi <lr@opencontent.it> [GitHub Diff]

Minor fixes