Removed the nonstandard banner option from output_headers()