bug in linediv-l