added libc/time
fixed minor formatting mistake