Fixing type inference/local context