The four lines printed above in a bold typeface should all be underlined. It is a bug if any of these lines is underlined only partially. The very first line should not be underlined at all.