Fixes #620.