fixes #732