Formatting the corresponding header files