Fixes #424.