Commit 030daac821622c8495676bc5210fb7784c7ae78f

Stefan Sperling 2021-09-25T10:26:13

fix some integers that had a slightly wrong type; patch by Omar Polo