Should it be a.getName()?