Forgot to clean up header files