Cosmetic, removed (double) separator line.