Good catch.  Fixed in 2956b7f2836a57f65dac17a6765bcc6982973ddb .