Whoops, this typo fix was meant to go in a separate PR. I can move this if necessary.