Fixes #6: remove redundant properties