Anonymous types are correctly displayed (#6).