Closes #250: refresh number of vulns after applying filter