add info on using Pinocchio