[intro.execution] Remove duplicate period

Reported by @thiemonagel.
Fixes #163