fix inferred types