OK. Will be fixed in next commit that also solves issues from the Coverity scan.