Fix out-of-date name

This was needed to get the main example working.