Satradix: fix typos in satradix.cl