This is fixed in #795