Fix (functional) typo in commit 3b60ea443a9efd1725e2960cf299fe63a978ec1f...

....

According to the mentioned commit, this is supposed to remove some warning.
However, I haven't seen the warning. So maybe these could be removed instead.