misc cleanup of time symbols