Examples now work