Fixed compilation error.  Oops.

This closes #12.