312437815a
And justify the paragraph after the change (and set fill column to 80 instead of 70). Noticed by: rpokala@, vangyzen@