trying to make sure header files are included properly