Bugfix.  Fixes #1