As this is a private header, we can fix this without any compatibility concerns. Thanks codespell for finding it.