Fixed typo pointed out by @j-e-d