Why only the first 16 bytes?  (Is there a reference somewhere we can point at - it just seems odd.)  Are we sure that it's not just the whole of the nonce in a different encoding (e.g. hex vs binary)?