updated three headers that I had forgotten