Forgot to update type.h to the repository