A quick typo fix I noticed whilst debugging. (cherry picked from commit e3d1ffcc)
mentioned in commit 5d125aae