Minor correction to simplified code (that does not compile)