Merge pull request #2072 from jkczyz/2023-01-fix-scoring-div-by-zero