Fix the lines-of-code counter (in a way that hopefully won't break again as
the refactoring of the Python code rages on)