Corrections to proxy generation