Fix typos in typealiasing