Fixed in e4772c86522c5304c4a0328f9c57c98383e2b82a (don't forget to add this upon comment thread resolution :))