bugfix in type