fix issues arising from no default inferred type