tmp: more errors reported -- interesting?