Small bugfix after merge for toggling term filters