Maybe we should switch to shortTimeFormat here?