Examples refreshed