Thanks to David Benjamin <davidben@google.com> for pointing them out.
Reviewed-by: NSteve Henson <steve@openssl.org>
MR #1198