is tinker short for tinkerbell?