I have two similar smartlists, one for Today’s Tasks (=all tasks which are not habits scheduled for today), and one for Big Rocks (=tasks tagged MITs and scheduled for today); both smartlists are set to be grouped by priority. However, after I click one list, the group by priority option doesn’t work on the other list; instead, all of the relevant tasks are displayed ungrouped.