master: fix typo from 2fdef85

2fdef85b6e167e9b875d6f9bb2147974f599071e introduced a typo. Fixing it.
Merge branch 'fix-2fdef85' into devel