element def with multiple names (issue #15)