fix compilation error with excessive typename