Fixed in #2930