Fixed in #367.