I know - you should look at the full code (in the issue there are only shown the lines above the comment, but now below)