removed erroneous typedef