Fixes after bad merge

Note that at the beginning of 4.6.2, 'C-t' appears in a badly rendered box. Could it be that the problem here is punctuation *after* the formatting?