Fixes #832