Quite a few lines are longer than 80 characters.