Minor fix of isAdmin use (type error)