Fix typo, as per #16