Fix mypy error

Jenkins job DSCH/gitlab-builds #320 succeeded in 4 min 16 sec.
See Console Output, Blue Ocean and Coverage Report for more details.

approved this merge request

merged