NaCl: Minor fix to include order