fixes errors in DmTx4kz302CController that were fixed in a previous commit but were not merged into dev