minor change to proprs