Document proper aliases as such