Fixes #632