bugfix for cgi