<persnickety>This is an extra linespace.</persnickety>