Fix #100: make it impossible to remove the introduction