Fixes #716