fix #12983

i haven't actually ran this code yet… tbh… but it passes the tests