Typo on edit

Edited in fix in Github editor and mistyped from local copy

Parent: 25bbf31

Committed by GitHub <noreply@github.com> on 6/6/2024, 11:30:01 PM