Fixes #637.