Tiny Chef 11 fix