Trying to fix TinyJS