Fixes #729