Regarding this GitHub issue, the issue was closed, but I'd like for the issue to be re-opened. However, I can't seem to be able to re-open the issue. Can someone please take a look? Thanks.