Fix comments in prox script.