Tiny change to MainActivity, pushing to avoid merge conflicts later