Tidied examples more