Examples: fix missing import and Type mismatch