Example names type out for #21