fixes #634: getters/setters shouldn't trigger no-dupe-keys

Fixes #634.