Re #8359. Fix warning-generating typo.
Merge branch 'bugfix/8359_kernel_memory_leaks' into develop