Update tinker.h