Fix format in tstamp() to 24 hour mode - was generating 12-hour timestamps.