textwidth is at maximum 80