fixes #736