Don't split such short lines in two. I believe none of us uses 80-char wide terminals anymore :)