Fixes #417.