tree b64b59b93eb532763f6323e4e90b33d6186faab8
parent 03750a067e818ca7fbd0f590e2ff6a8fded21e6c
author Romain Guy <romainguy@google.com> 1287439910 -0700
committer Romain Guy <romainguy@google.com> 1287439910 -0700

Small cleanup.

Change-Id: I0e5b9154a2d93af793d62f462d68cb7c6c3f6d75