Simple fix for #9528

Very simple, self-explanatory.