Fix typo pointed out by @mgold. Thanks!