Minor typo correction

Thanks to Rich Hesketh for the pointer