Code style: limit width of files to 80