Fix typeNum in the documentation