Fix diff.cpp{11,03} headings once more.