fix #1039 type type abbreviations