add two missing headers