correct decl