Fixed in #393.