slight change to spec decl() method