Bug in num2texh

No idea how those lines ended up there