Compile bug

Oops -- when I committed last time I didn't realize there was a bug
preventing compilation.  This has been fixed.