Still more missing headers.