Fix a bug on a regular type