Making the last example formatted as code