Update HOCKING-animint.Rnw