This adds better header comments and also fixes a bug in one of
simple APIs that tells the number of lines in the current hunk.