Fix style in dispatch_known_cgi()