adjust Pencil width to 80 characters

Man, this was bugging me for ages.