< persnickety >These extra linespaces could go.< /persnickety >