defined type seems to be buggy, lets try verbatim