Don't print strippedname. Fixes #1829. Related: #1743
Merge pull request #1830 from jtanx/strippedname

Don't print strippedname. Fixes #1829. Related: #1743