bug in type specifier