Code style: Make all lines <= 80 chars wide.