Put back a cattr removed by mistake by 70141dc9f523282bc3b3b947cc3e36ef594ad15e.