ee: bug fix from likely bad merge somewhere
ee: bug fix from likely bad merge somewhere

Tests pass now.

Change-Id: If76acd4383213793f71a8011f50b0780022ff46c
Reviewed-on: https://upspin-review.git.corp.google.com/2522
Reviewed-by: Eduardo Pinheiro <55040cbb39ba395339ae7940d8da6cd97797a4a8@google.com>

upspin/upspin,upspin/upspin