Update tiny.h