[FilecryptCc] Tiny fixup