removed headers used for debugging