Fix: spec for constructor symbol name