Fixed compilation of an example