I just saw this in #311. Will comment further there.