Properly display definition's name in header