Minor fixes in ex5 - still Exertleter test doesn't work