Fix a Syntax Error in time.php