simple ID-to-name conversion