Mike: removed obsolete attr_reader call