minor fix for CGI time example