Added a couple more boring headers