Now that the Error module has error codes as well and is processed by the generate_errors script like any other module, we don't need to include the header manually.