Fixed a bug in user filtering where the filter was looking for a user in a list of userIDnums. Also added some test cases.