If we can't do this in Alloy markup, we should leave off the example code, and just say that to add a searchView, you'd need to add it in the controller, using code like the previous example.