Changing permalink theme option

I have installed a theme called Kingsize. It has nice features but one annoying trait is that if you create a “portfolio” post it automatically puts the permalink becomes “portfolio”, even though the portfolio category selected is something else. Can anyone direct me to the file or area of wordpress where this is set or edited? It’s not on the permalink options screen.

Thanks