Frontend: Do not overflow format