fixing missing headers