Corrected a type and added forgotten file