Trivial patch.

  --david