Correct header for main.cpp WHOOPS