Fixes #658.