fix typo about newtypes