Correct "sentinel" spelling.

Closes #5706 -- more a test that my git PR pipeline is working than because of its significance.