Simplify cgi_error_unknown() a bit.