Report better errors in examples 3 & 5