Fix again to inputformatproxy

Hopefully this will fix things!