It was a little bit stupid to rename the attribute and then give a
reader anyway.