Nicer presentation of examples