I believe this was fixed in the commit I just made so we don't need this anymore