Jacobi has him as son of Rabbi Chaim ben Sinai, [of Kolin]. Doesn't seem likely that his father has the same name. I think we should move him up.