remove overzealous type checking; fixes bug