Fixes fairly unimportant typo…