Fixes #747