minor syntax changes for wasp-80