a small bug is fixed in lines.cpp