Use the public API for this

getattr is ugly