Is the precession spin definition correct?

Double check this code snippet against the literature. There might be a bug.