Use actual simple name

Fixes #1543