Fixes #710.