Invalid header file in tinkercard

that was exactly right! thank you for your help!