Minor fix in the secure module