In order to make examples runnable from the spot, provide import scala.annotation.tailrec. PR against .lyx files in preparation.