Fixed in 63d99002961c8845cd16ae4b5e9ae6b273d43a80. I forgot to close
this bug. Thanks for the report.