You are correct. I think that specific line though is part of the header file documentation showing basic usage for now to extend `app` with `mojito`.