Tinysh fixes.