9c6af9d2bb
fix #7255 discussed in PR #7254 Signed-off-by: Michael Gnehr <michael@gnehr.de>
fix #7255 discussed in PR #7254 Signed-off-by: Michael Gnehr <michael@gnehr.de>