Hopefully improved the documentation on mod2pi

See #5537
cc @jiahao