I think PoKno05 has a typo. Their method is equivalent to ours.