The branch `if options.permissions:` don't have `HandlePermissionList()` called?