Wrong variable used in parsing args

In

wp-cli/php/WP_CLI/Configurator.php

Line 151 in ae8be15

$positional_arg = null;

, a variable $positional_arg is declared, but it's never used. Instead, the code uses $positional.

Correct me if I'm wrong, but I think that code only runs fine because $positional is always set if $assoc_arg is not null. Otherwise it would output undeclared variable.