Fix for false positives reported by mima on PR 2194.