would be good to file a github issue