small typo fix

This commit is contained in:
Richard Guo 2023-06-02 11:52:46 -04:00 committed by AT
parent e709e58603
commit 9d2b20f6cd