fixed up prox types