Varoius fixes, particularly around userlist and binary search