timestamp formatting (workaround)