Fixes #705