Fix typo in type definitions, now working