PHP Error setting the cookie

Hi, while helping a user with his site, we found an error generated by line 578 of the file extended-shortcodes.php (taking the code from the trunk). The line is:

if(!empty($atts['time'])) $time = time() + $atts['time'];

and the error is “Unsupported operand types: int + string”. I’m not a user of this plugin, maybe the shortcode was used incorrectly or it could be a problem with the PHP version. I suggest to change the code to

if(!empty($atts['time'])) $time = time() + (int)$atts['time'];

that should solve the problem.

Thanks.