Fix minor typo in ctf script