Issue #69: removed unused widget option