minor tweak to notif filter :)