Remember that header() must be called before any actual output is sent