Fix spelling noticed while reviewing PR.

Fix spelling mistake while working on #863	
Changes already in #863 so no need to rebase it.