several fixes for the last example