fix #55: Type