Avoid use of trueName, which wasn't in 7.4.2.