Fixes #632.