Should be fixed in #1077. Thanks!