adding some missing headers