Max line length changed to 80 characters

@glyphobet, @johaness: per what we discussed yesterday