Fix missing require in application-introduction