Simple fix for #9528

Very simple, self-explanatory fix for #9528.