Bugfix. See issue 1.