Bugfix. Fixes #4.