fixes #711