Bugfix. Fixes #953