bug in tinyswift