slightly better error messages (without duplicate information)