SE4.md: Fix a typo.