fix bug in prodto definition