Fixes #732