A quick typo fix I noticed whilst debugging. (cherry picked from commit e3d1ffcc) (cherry picked from commit 037160fc)