Fix typo caught by andrew